Closure Properties of Classes of Spatio-Temporal Objects under Boolean Set Operations
نویسندگان
چکیده
We study a model for spatio-temporal objects, introduced by Chomicki and Revesz, in which spatio-temporal data is specified by a spatial reference object together with a geometric transformation that determines the movement of the reference object in time. We give complete results concerning closure under Boolean set operators for the different classes of spatio-temporal objects introduced by these authors (In particular, we also answer a conjecture by Chomicki and Revesz negatively). Since only few classes are closed under all set operators, we suggest that their model should be extended in order to increase its practical applicability.
منابع مشابه
Parametric Spatiotemporal Objects
We present a framework for specifying spatiotemporal objects using spatial and temporal objects, and a parametric geometric transformation. We define a number of classes of spatiotemporal objects and summarize their closure properties under set-theoretic operations.
متن کاملContext-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملTowards an automata-theoretic counterpart of combined temporal logics
In this paper, we define a new class of combined automata, called temporalized automata, which can be viewed as the automata-theoretic counterpart of temporalized logics, and show that relevant properties, such as closure under Boolean operations, decidability, and expressive equivalence with respect to temporal logics, transfer from component automata to temporalized ones. Furthermore, we succ...
متن کاملA Four-Dimensionalist Mereotopology
We develop a formal ontology within the four dimensionalist (4D) paradigm by showing how the algebraic description of spatial mereotopology – a Boolean algebra equipped with a connection relation – can be enriched to provide a mereotopology in which the entities are spatio-temporal, rather than spatial, regions. With the 4D approach it is natural to identify a period of time with all of space d...
متن کاملA 4-Dimensionalist Mereotopology
We develop a formal ontology within the four dimensionalist (4D) paradigm by showing how the algebraic description of spatial mereotopology – a Boolean algebra equipped with a connection relation – can be enriched to provide a mereotopology in which the entities are spatio-temporal, rather than spatial, regions. With the 4D approach it is natural to identify a period of time with all of space d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000